| author | Glenn Morris <rgm@gnu.org> | |
| Sat, 22 Dec 2012 20:29:16 +0000 (12:29 -0800) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Sat, 22 Dec 2012 20:29:16 +0000 (12:29 -0800) | ||
| commit | 6d1962b3c7de16334f073bf2a82d3ac4b9e23cf3 | |
| tree | 6577c680a743feaac1c8f56f821a3de6949c4a65 | tree | snapshot |
| parent | faeea569eff46212259ef20fa0e6ee986e43b494 | commit | diff |
| doc/misc/ChangeLog | diff | blob | history | |
| doc/misc/reftex.texi | diff | blob | history |